Formal analysis - PDFSEARCH.IO - Document Search Engine

Formal analysis
Results: 1589

#	Item
731	Semantic Parsing Using Content and Context: A Case Study from Requirements Elicitation Reut Tsarfaty Weizmann Institute Rehovot, Israel Add to Reading List Source URL: www.wisdom.weizmann.ac.il Language: English - Date: 2014-12-16 03:19:37 Linguistics Proof theory Grammar Meaning Semantics Social philosophy Elicitation Analysis Stochastic context-free grammar Logic Formal languages Science
732	Microsoft Word - 03-Lexical-Analysis.doc Add to Reading List Source URL: dragonbook.stanford.edu Language: English - Date: 2008-09-08 16:58:22 Computing Nondeterministic finite automaton Lexical analysis Powerset construction Deterministic finite automaton Regular expression Finite-state machine Formal language Regular language Automata theory Programming language implementation Theoretical computer science
733	PRODUCTS DATAWATCH MONARCH SELF SERVICE DATA PREPARATION FOR ALL YOUR DATA Add to Reading List Source URL: www.datawatch.com Language: English - Date: 2015-03-31 16:18:28 Formal sciences Monarch Business intelligence Analytics Microsoft Excel Data extraction Spreadsheet SPSS Social network analysis software Data management Statistics Software
734	Forest Management Accounting Workshop Tuvalu Gratitude: Potsdam Institute for Climate Impact Add to Reading List Source URL: unfccc.int Language: English - Date: 2010-08-01 06:50:31 Business intelligence Tuvalu Regression analysis Linear regression Analytics Statistics Econometrics Formal sciences
735	Entity Analytics Whitepaper What’s Missing from Your Big Data Plans - Novetta Entity Analytics Add to Reading List Source URL: www.novetta.com Language: English - Date: 2015-01-19 22:27:52 Business Formal sciences Analytics Mathematical finance Master data Data analysis Apache Hadoop Big data Customer relationship management Technology Business intelligence Data management
736	Science 2.0 & Big Data b Science 2.0 Conference, Hamburg, March 25, 2015 Add to Reading List Source URL: www.science20-conference.eu Language: English - Date: 2015-04-01 16:17:19 Formal sciences Science Analytics Big data Data analysis Data mining Business intelligence 3.0 Business intelligence Data management Technology
737	Universität Bern 6. Juni[removed]Is There a Right to Mine (r2m) or Is It a Subject to Licences? Rainer Kuhlen Add to Reading List Source URL: www.kuhlen.name Language: English - Date: 2014-11-27 15:46:45 Natural language processing Statistical natural language processing Formal sciences Data management Computational linguistics Data mining Text analytics Text mining Analytics Science Data analysis Statistics
738	CASE STUDY CUSTOMER PROFILE • A subsidiary of T-Mobile International • Acquired tele.ring in 2006 Add to Reading List Source URL: www.pitneybowes.com Language: English - Date: 2015-01-14 02:34:50 Deutsche Telekom Data analysis Pitney Bowes SAS Predictive modelling Data mining T-Mobile Analytics Marketing Statistics Business intelligence Formal sciences
739	Whitepaper_infographic_060614_c Add to Reading List Source URL: www.ibm.com Language: English - Date: 2014-08-13 01:43:10 Data analysis Formal sciences Analytics Mathematical finance Big data Business analytics TriGeo Network Security Business intelligence Technology Data management
740	DAEDALUS ∗ Validation of Critical Software by Static Analysis and Abstract Testing Add to Reading List Source URL: www.di.ens.fr Language: English - Date: 2002-12-20 10:55:12 Software Polyspace Science Embedded systems Model checking Software verification Abstract interpretation Worst-case execution time Software development process Software development Software testing Formal methods

UPDATE